IASC: Interactive Agentic System for ConLangs
arxiv.org·15h
📋Document Grammar
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🔗Lisp
In-Depth Analysis: "Attention Is All You Need"
dev.to·4h·
Discuss: DEV
🧠Intelligence Compression
LLMs and reinforcement learning
sicpers.info·9h
⚔️Lean Tactics
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·11m·
Discuss: Hacker News
🔗Concatenative Programming
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
Proof Automation
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
👑Isabelle
Show HN: Realization Jsmn on a Pure Zig
github.com·9h·
Discuss: Hacker News
🔗Concatenative Programming
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·15h
💻Local LLMs
Neuro-Symbolic AI
en.wikipedia.org·5h·
Discuss: Hacker News
🔲Cellular Automata
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings